SEM: a System for Enumerating Models
نویسندگان
چکیده
Model generation can be regarded as a spe cial case of the Constraint Satisfaction Problem (CSP). It has many applications in AI, com puter science and mathematics. In this paper, we describe SEM, a System for Enumerating fi nite Models of first-order many-sorted theories. To the best of our knowledge, SEM outperforms any other finite model generation system on many test problems. The high performance of SEM relies on the following two techniques: (a) an efficient implementation of constraint prop agation which requires little dynamic allocation of storage; (b) a powerful heuristic which elim inates many isomorphic partial models during the search. We will present the basic algorithm of SEM along with these two techniques. Our experimental results show that general purpose finite model generators are indeed useful in many applications.
منابع مشابه
Reasoning About Hidden Mechanisms
1 describe an approach to the problem of forming hypotheses about hidden mechanisms wthin devices — the "black box" problem for physical systems. The approach involves enumerating a set of physical and causal conslrainLs and enumerating difference causal structures for devices, placing an ordering on these hypothesis types, and carefully controlling the generation of hypotheses. I relate in det...
متن کاملRedundancy and its forms in the last third of the Holy Quran
Recognizing the rhetoric sciences plays an important role in understanding facetiae and minutes of the Qur'an. One of the subdirectories of the semantics is "brevity, redundant and equality" that has long been of interest to scholars of rhetoric, so that some scholar experts have been confined rhetoric to this discussion. Therefore in enumerating types of brevity, redundant and equality differe...
متن کاملSynthesis of Kaolin Loaded Ag and Ni Nanocomposites and Their Applicability for the Removal of Malachite Green Oxalate Dye
The present study focuses on the synthesis of Kaolin loaded Silver (Ag-KNC) and Nickel (Ni-KNC) nanocomposites by co-precipitation method. The surface morphology of them was determined by SEM technique while chemical composition was determined by FT-IR technique. The removal of Malachite Green Oxalate (MGO) was preceded by the adsorption method using (Ag-KNC) and (Ni-KNC). The adsorption mo...
متن کاملSegments in enumerating faces
We introduce the concept of a segment of a degenerate convex polytope specified by a system of linear constraints, and explain its importance in developing algorithms for enumerating the faces. Using segments, we describe an algorithm that enumerates all the faces, in time polynomial in their number. The role of segments in the unsolved problem of enumerating the extreme points of a convex poly...
متن کاملStructural Equation Modeling (SEM) in Health Sciences Education Researches: An Overview of the Method and Its Application
Introduction: There are many situations through which researchers of human sciences particularly in health sciences education attempt to assess relationships of variables. Moreover researchers may be willing to assess overall fit of theoretical models with the data emerged from the study population. This review introduces the structural equation models method and its application in health scien...
متن کامل